翻訳と辞書
Words near each other
・ miti
・ mitilac
・ mitre corporation
・ mits
・ mix
・ mix communications
・ mixal
・ mjs
・ mk
・ ml
ml kit
・ ml threads
・ ml-2000
・ ml-lex
・ ml-linda
・ ml-twig
・ ml/i
・ mlab
・ mlisp
・ mll


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ml kit : FOLDOC
ML Kit
The ML Kit is a straight translation of the Definition of Standard ML into a collection of Standard ML modules. For example, every inference rule in the Definition is translated into a small piece of Standard ML code which implements it. The translation has been done with as little originality as possible - even variable conventions from the Definition are carried straight over to the Kit. The Kit is intended as a tool box for those people in the programming language community who may want a self-contained parser or type checker for full Standard ML but do not want to understand the clever bits of a high-performance compiler. We have tried to write simple code and modular interfaces.
Version 1
interpreter, documentation
Nick Rothwell, David N. Turner, Mads Tofte , and Lars Birkedal at Edinburgh and Copenhagen Universities.
{(ftp://ftp.diku.dk/diku/users/birkedal/)}. UK: ftp export/ml/mlkit/ from lfcs.ed.ac.uk
(1993-03-12)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.